# 2025-10-30T20:47:13.143929800
import vitis

client = vitis.create_client()
client.set_workspace(path="E:/solver")

vitis.dispose()

